when (1, 2) is
    (1, x) -> x
    (_, b) -> 3 + b